#/bin/bash

TIMESTAMP=`date +"%F_%T"`
DIR="explore_$TIMESTAMP"

mkdir $DIR 2>/dev/null

while read line; do
   echo processing $line ...
   klee --libc=uclibc --posix-runtime --init-env -max-sym-array-size=16 -max-time=600 ./$line --sym-files 2 16 1>$DIR/$line.stdout 2>$DIR/$line.trace
done < $1 
